A Component-Based Formal Language Workbench
نویسندگان
چکیده
منابع مشابه
A C++ Language Workbench
Language-orientated programming promises to elevate programmer productivity through increased abstraction capabilities. Structural programming environments provide apparatus to reduce the difficulties with syntax. The language workbench, a conceptual combination of these two approaches, is a comparatively novel approach to software development and has so far been attempted only in dynamic-dispa...
متن کاملFormal Component-Based Semantics
One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover COQ. It is based on Modular SOS, a variant of SOS...
متن کاملTowards a Component-Based Agent Development Workbench for non-Experts
Developing agent-oriented systems is still a difficult task. However, a component-based approach can help by supporting both modular modification of existing systems and construction of new systems from existing parts. Here we briefly look at a conceptual component model for BDI agents and initial work done in realizing the definitions using XML.
متن کاملMartta: A C++ Language Workbench
Language-orientated programming promises to elevate programmer productivity through increased abstraction capabilities. Structural programming environments provide apparatus to reduce the difficulties with syntax. The language workbench, a conceptual combination of these two approaches, is a comparatively novel approach to software development and has so far been attempted only in dynamic-dispa...
متن کاملA WORKBENCH FOR SIMULATING NATURAL LANGUAGE EVOLUTION 1 A Workbench for Simulating Natural Language Evolution
We present an implemented architecture for simulating the evolution of natural language. The workbench allows parameterization of a large number of assumptions that researchers in the field work with, allowing interactions of parameters to be explored in detail. The system is based on a social rather than genetic model of language evolution, on the basis that complex interactive structures like...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.310.4